correctness proof
[网络] 正确性证明；正确性证据；程序正确性证明
热门查询
- taloned （动物）有爪的 爪形的
- moisturize vi. 增加水分；变潮湿 vt. 使增加水分，使湿润
- pastorale n. （意）田园曲；牧歌式歌剧
- scrotum n. [解剖] 阴囊
- punnet n. 圆形浅底小篮
- layabout n. 懒汉；游荡的人
- instruct vt. 指导；通知；命令；教授
- retrial n. 复审；复试
- sacrum n. [解剖] 骶骨；[解剖] 荐骨
- Montreux n. 蒙特勒（瑞士镇名）
- discriminatory adj. 有辨识力的；差别对待的
- hobble n. 跛行步态 vt. 使跛行 vi. 蹒跚；跛行
- rail n. 铁轨；扶手；横杆；围栏 vt. 铺铁轨；以横木围栏 vi. 抱怨；责骂
- runabout n. 流浪者；轻便小汽车；小型单座敞篷车 adj. 流浪的
- disavow vt. 否认，否定；抵赖；拒绝对…的责任
- clint n. [地质] 石芽；石灰岩岩脊；岩沟
- pendulous adj. 下垂的，悬垂的；摇摆的
- cofferdam n. 围堰；潜水箱 vt. 修筑围堰
- revetment n. 护岸；拥壁；被覆
- pitt n. 皮特（姓氏，特指英国政治家父子威廉姆斯皮特）；皮特钻石（品牌名） abbr. 匹兹堡（Pittsburgh）
考试词汇表
- epsilon-staphylolysin
- eptatretus rubicundus
- epuivalent conductace
- epulis granulomatosum
- epulis hemangiomatosa
- equal altitude circle
- equal altitude method
- equal area projection
- equal conjoined twins
- equal effect solution
- equal energy spectrum
- equal energy stimulus
- equal friction method
- equal matrix language
- equal noisiness curve
- equal pressure method
- equal product contour
- equal ripple property
- equal settling factor
- equal stepped pulleys
